mutual entailment